November 23, 2023
Scott-encoding ADTs into objects Case analysis through Scott encodings of algebraic data types in an object oriented programming language.
October 13, 2023
OOP classes as data constructors Comparison of case analysis techniques in a functional language and an object-oriented one: pattern-matching and subtyping.